synchronization in distributed system